A Tool Architecture to Verify Properties of Multiagent System at Runtime
Identifieur interne : 000B23 ( France/Analysis ); précédent : 000B22; suivant : 000B24A Tool Architecture to Verify Properties of Multiagent System at Runtime
Auteurs : Denis Meron [France] ; Bruno Mermet [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
Abstract: This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the “property” notion. That is why we give here a definition of “property” and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system’s properties. So after a brief description of the “property” notion, we describe our architecture and the way to check systems.
Url:
DOI: 10.1007/978-3-540-71956-4_12
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000D57
- to stream Istex, to step Curation: 000D57
- to stream Istex, to step Checkpoint: 000412
- to stream Main, to step Merge: 000F36
- to stream Main, to step Curation: 000F21
- to stream Main, to step Exploration: 000F21
- to stream France, to step Extraction: 000B23
Links to Exploration step
ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title><author><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name></author><author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-71956-4_12</idno><idno type="url">https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000D57</idno><idno type="wicri:Area/Istex/Curation">000D57</idno><idno type="wicri:Area/Istex/Checkpoint">000412</idno><idno type="wicri:doubleKey">0302-9743:2007:Meron D:a:tool:architecture</idno><idno type="wicri:Area/Main/Merge">000F36</idno><idno type="wicri:Area/Main/Curation">000F21</idno><idno type="wicri:Area/Main/Exploration">000F21</idno><idno type="wicri:Area/France/Extraction">000B23</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title><author><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>LITIS, University of Le Havre</wicri:regionArea><wicri:noRegion>University of Le Havre</wicri:noRegion><wicri:noRegion>University of Le Havre</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>GREYC, University of Caen</wicri:regionArea><wicri:noRegion>University of Caen</wicri:noRegion><wicri:noRegion>University of Caen</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2007</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">48D2337BA1AFE504C19051AB85BE241E6341EDA2</idno><idno type="DOI">10.1007/978-3-540-71956-4_12</idno><idno type="ChapterID">12</idno><idno type="ChapterID">Chap12</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the “property” notion. That is why we give here a definition of “property” and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system’s properties. So after a brief description of the “property” notion, we describe our architecture and the way to check systems.</div></front></TEI><affiliations><list><country><li>France</li></country></list><tree><country name="France"><noRegion><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name></noRegion><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/LeHavreV1/Data/France/Analysis
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000B23 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000B23 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/France
|area= LeHavreV1
|flux= France
|étape= Analysis
|type= RBID
|clé= ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2
|texte= A Tool Architecture to Verify Properties of Multiagent System at Runtime
}}
| This area was generated with Dilib version V0.6.25. |  |